On the Semantics of Service Compositions
نویسنده
چکیده
Supporting service discovery by semantic service specifications is currently an important research area. While the approaches for the annotation of individual services are well researched, determining the semantics of compositions of services remains an open research issue. In this paper, we present an approach to generate the semantics of service compositions from the semantics of the contained services. To do this we assume a formal Workflow net model of the service composition. With an example use case we show how this works in practice.
منابع مشابه
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governance of service compositions is intrinsically decentralized and services may evolve independently over time. In this context, pre-deployment verification can only provide limited guarantees, while continuous run-time verification...
متن کاملA Compositional Semantics for Stochastic Reo Connectors
In this paper we present a compositional semantics for the channel-based coordination language Reo which enables the analysis of quality of service (QoS) properties of service compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates at the boundary of a connector, to capture its interaction with the services that comprise its e...
متن کاملBehaviour-Aware Discovery of Web Service Compositions
A major challenge for Service-oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both semantics and behavioural information to discover service compositions capable of satisfying a client request.
متن کاملLTSA-BPEL4WS: Tool Support for Model-based Verification of Web Service Compositions
We present a tool which supports a model-based approach to verifying web service compositions for web service implementations. The approach provides verification against specification models and assigns semantics to the behavior of implementation models so as to confirm expected results of compositions for both the designer and implementer.
متن کاملVerifying Constraints on Web Service Compositions
Current service description and composition approaches consider simplistic method invocation. They do not accommodate ongoing interactions between service providers and consumers, nor do they support descriptions of legal protocols of interactions among them. We propose richer representations which enable us to capture more of the semantics of services than current approaches. Further, we devel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007